1. Applications of process algebra
پدیدآورنده: edited by J.C.M. Baeten
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
2. Applications of process algebra
پدیدآورنده: / edited by J.C.M. Baeten. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Computer network protocols.,Axiomatic set theory.
رده :
QA
,
76
.
9
,.
M35
,
A6
,
1990
3. Applications of process algebra
پدیدآورنده: / J.C.M. Baeten
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Machine theory.,Computer science--Mathematics.,Computer network protocols.,Axiomatic set theory.
رده :
QA
267
.
A67
2004
4. CONCUR'91 :
پدیدآورنده: J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
5. CONCUR'91 : 2nd International on Concurrency Theory, Amsterdam, Netherlands, 1991 : Proceedings
پدیدآورنده: J. C. M. Baeten, J. F. Groote )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
527
6. CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : Proceedings
پدیدآورنده: J.C.M. Baeten, J.W. Klop, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
458
7. Process algebra with timing
پدیدآورنده: by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
8. Process algebra with timing
پدیدآورنده: / J.C.M. Baeten, C.A. Middelburg
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Discrete-time systems,Computer science -- Mathematics
رده :
QA
76
.
9
.
S88B32
2002
